The title Architectural and Program Diagrams in the series Construction and Design Manual brings together more than 600 pages from a predominantly international avant-garde and offers an overview of the state of the art in architectural representation across a spectrum extending from simple arrow diagrams to sober graphs and highly elaborate, often somewhat surreal collages and...(展开全部)

Diagram is one of the most used words in contemporary architecture and urban design. It's almost a common understanding of using diagrams to explain the design concept. However, it is more than simply showing the audience to help them understand the idea. Diagramming is an element of design in itself. On more than 750 pages this manual showcases diagrams of avant-garde architec...(展开全部)

Diagram is one of the most used words in contemporary architecture and urban design. It's almost a common understanding of using diagrams to explain the design concept. However, it is more than simply showing the audience to help them understand the idea. Diagramming is an element of design in itself. On more than 750 pages this manual showcases diagrams of avant-garde architec...(展开全部)

The technique of folding in contemporary architecture is vividly illustrated with a survey of much-discussed concepts, projects, and buildings in which this technique was applied. This book is compulsory for every architect wishing to design outside the mainstream.

The Art of Anthropology collects together the most influential of Gell's writings, which span the past two decades, with a new introductory chapter written by Gell. The essays vividly demonstrate Gell's theoretical and empirical interests and his distinctive contribution to several key areas of current anthropological enquiry. A central theme of the essays is Gel's highly origi...(展开全部)

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is a...(展开全部)

The relationship between the architectural representation and its intended product--a building--has undergone a profound transformation over the centuries. Before the age of modern technology, the systematically predictive role of architectural drawing so taken for granted today was less dominant in the evolution from architectural idea to built work. The age of computer-aided ...(展开全部)

Architectural pioneers such as Frank Gehry and Greg Lynn introduced the world to the extreme forms made possible by digital fabrication. It is now possible to transfer designs made on a computer to computer-controlled machinery that creates actual building components. This "file to factory" process not only enables architects to realize projectsfeaturing complex or double-curve...(展开全部)

Architectural pioneers such as Frank Gehry and Greg Lynn introduced the world to the extreme forms made possible by digital fabrication. It is now possible to transfer designs made on a computer to computer-controlled machinery that creates actual building components. This "file to factory" process not only enables architects to realize projectsfeaturing complex or double-curve...(展开全部)

This text collates Stan Allen's writings and projects that propose architectural strategies for the contemporary city. It presents speculative texts outlining Allen's general principles with specific projects created by his office in an interplay of theory and practice. Projects include: the Cardiff Bay Opera House, Wales; the Korean-American Museum of Art, Los Angeles; the Mus...(展开全部)